-
1 биективный функтор
Русско-английский словарь по электронике > биективный функтор
-
2 биективный функтор
Русско-английский словарь по радиоэлектронике > биективный функтор
См. также в других словарях:
Ext functor — In mathematics, the Ext functors of homological algebra are derived functors of Hom functors. They were first used in algebraic topology, but are common in many areas of mathematics. Definition and computation Let R be a ring and let mathrm{Mod}… … Wikipedia
Group action — This article is about the mathematical concept. For the sociology term, see group action (sociology). Given an equilateral triangle, the counterclockwise rotation by 120° around the center of the triangle acts on the set of vertices of the… … Wikipedia
F-coalgebra — In mathematics, specifically in category theory, an F coalgebra is a structure defined according to a functor F. For both algebra and coalgebra, a functor is a convenient and general way of organizing a signature. This has applications in… … Wikipedia
Comma category — In mathematics, a comma category (a special case being a slice category) is a construction in category theory. It provides another way of looking at morphisms: instead of simply relating objects of a category to one another, morphisms become… … Wikipedia
Category of rings — In mathematics, the category of rings, denoted by Ring, is the category whose objects are rings (with identity) and whose morphisms are ring homomorphisms (preserving the identity). Like many categories in mathematics, the category of rings is… … Wikipedia
Full and faithful functors — In category theory, a faithful functor (resp. a full functor) is a functor which is injective (resp. surjective) when restricted to each set of morphisms with a given source and target.Explicitly, let C and D be (locally small) categories and let … Wikipedia
Topos — For topoi in literary theory, see Literary topos. For topoi in rhetorical invention, see Inventio. In mathematics, a topos (plural topoi or toposes ) is a type of category that behaves like the category of sheaves of sets on a topological space.… … Wikipedia
Stone duality — In mathematics, there is an ample supply of categorical dualities between certain categories of topological spaces and categories of partially ordered sets. Today, these dualities are usually collected under the label Stone duality, since they… … Wikipedia
Quotient category — In mathematics, a quotient category is a category obtained from another one by identifying sets of morphisms. The notion is similar to that of a quotient group or quotient space, but in the categorical setting.DefinitionLet C be a category. A… … Wikipedia
Isomorphism of categories — In category theory, two categories C and D are isomorphic if there exist functors F : C rarr; D and G : D rarr; C which are mutually inverse to each other, i.e. FG = 1 D (the identity functor on D ) and GF = 1 C . This means that both the objects … Wikipedia
Equivariant map — In mathematics, an equivariant map is a function between two sets that commutes with the action of a group. Specifically, let G be a group and let X and Y be two associated G sets. A function f : X rarr; Y is said to be equivariant if: f ( g… … Wikipedia